From: Jasper St. Pierre Date: Tue, 5 Jun 2012 17:06:40 +0000 (-0400) Subject: shellDBus: Add a method to reload extensions X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6477 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=19ef6b0421b06f0c5b91a111e2509376619ed98d;p=gnome-shell.git shellDBus: Add a method to reload extensions A common request from extension developers has been to reload their extensions without restarting the Shell. https://bugzilla.gnome.org/show_bug.cgi?id=677586 --- diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js index 7a6257766..66ac9c062 100644 --- a/js/ui/shellDBus.js +++ b/js/ui/shellDBus.js @@ -67,6 +67,9 @@ const GnomeShellIface = + + + @@ -269,6 +272,11 @@ const GnomeShell = new Lang.Class({ ['extension:///' + uuid], -1, null); }, + ReloadExtension: function(uuid) { + ExtensionSystem.unloadExtension(uuid); + ExtensionSystem.loadExtension(uuid); + }, + get OverviewActive() { return Main.overview.visible; },